win32 theme: Do a quick'n'dirty search/replace
authorBenjamin Otte <otte@gnome.org>
Sun, 7 Feb 2016 02:54:17 +0000 (03:54 +0100)
committerBenjamin Otte <otte@redhat.com>
Thu, 11 Feb 2016 02:44:47 +0000 (03:44 +0100)
commit93ecb1d187f4a4d8a2353be88d5ddcdad7694072
treee31e14cb66e3f79fffd1e868e639a053d0468e95
parentec3ce21bebc30d787be7e95b1f94e531878a140f
win32 theme: Do a quick'n'dirty search/replace

Try to replace the old style names with then new style names.

The theme is still entirely way too broken. But at least one can see something.
gtk/theme/win32/gtk-win32-base.css
gtk/theme/win32/gtk.css